program proof перевод

• доказательство правильности программы

• formal program proof:    формальное доказательство правильности программы
• -proof:    pru:f второй компонент сложных слов со значением: не поддающийся действию того, устойчивый к тому, что выражено первым компонентом bullet(-)proof — пуленепробиваемый rain-proof — непромокаемый, водо
• proof:    1) доказательство; подтверждение Ex: proof positive неопровержимое доказательство Ex: documentary proof, proof by documentary evidence документальное доказательство Ex: to give proofs представить до